『History of Interactive Theorem Proving』 - pogi-log

『History of Interactive Theorem Proving』

1. どんなもの？

定理証明支援系の歴史について

2. 先行研究と比べてどこがすごい？

3. 技術や手法のキモはどこ？

4. どうやって有効だと検証した？

5. 議論はある？

6. 次に読むべき論文は？

確認用

Q.

#論文読み #論文